def random_int(min: int, max: int) -> int: ...
